Definition of unique factorization domain

join shbcf.ru